Перевод: с английского на русский

с русского на английский

automatic checking machine

См. также в других словарях:

  • automatic checking machine — tikrinimo automatas statusas T sritis automatika atitikmenys: angl. automatic checking machine vok. Kontrollautomat, m rus. контрольный автомат, m pranc. automate de contrôle, m …   Automatikos terminų žodynas

  • Machine translation — Part of a series on Translation Types Language interpretation …   Wikipedia

  • Automated teller machine — cash machine redirects here. For the Hard Fi song, see Cash Machine. An NCR Personas 75 Series interior, multi function ATM in the United States …   Wikipedia

  • Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

  • Automated Teller Machine Communication Security — Automated Teller Machines were first used in 1939. Nowadays, about 1.5 million are installed worldwide [ [http://www.atmmarketplace.com/news story 24706.htm Number of ATMs worldwide expected to hit 1.5 million in December 2005] www.atmmarketplace …   Wikipedia

  • Vickers-Maxim automatic machine gun — Vick ers Max im automatic machine gun An automatic machine gun in which the mechanism is worked by the recoil, assisted by the pressure of gases from the muzzle, which expand in a gas chamber against a disk attached to the end of the barrel, thus …   The Collaborative International Dictionary of English

  • Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

  • Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… …   Wikipédia en Français

  • Transmission Voie-Machine — (TVM), or track to train transmission , is a form of in cab signalling used on lignes à grande vitesse (high speed railway lines based on the French TGV system) that differs considerably from signalling on conventional railway lines. Because TGV… …   Wikipedia

  • Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… …   Wikipedia

  • Electronic Delay Storage Automatic Calculator — (EDSAC) was an early British computer. The machine, having been inspired by John von Neumann s seminal First Draft of a Report on the EDVAC , was constructed by Maurice Wilkes and his team at the University of Cambridge Mathematical Laboratory in …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»